- 双语例句 更多例句
1、
建立模型是对认知表达式进行逻辑语义分析的前提，可能世界语义学为此提供了有效工具。
互联网摘选
2、
Criticisms of Situation Semantics on the Extensional Model Theory and the Possible World Semantics
情境语义学对外延模型论和可能世界语义学的批判
互联网摘选
3、
巴威斯等对外延模型论语义学和可能世界语义学的批判，揭示了既有逻辑语义研究的不足，促使人们对自然语言的逻辑语义问题进行更深刻的认识和反思。
互联网摘选
4、
研究主体思维状态逻辑框架KARO中的多动作承诺机制，并对其进行语义解释。
互联网摘选
5、
因此，给出关于范畴位置移动的结构公设，构成特定的范畴类型逻辑系统，即多样模态逻辑，并给该系统的可能世界语义学的可通达关系确立相应的限制条件。
互联网摘选
6、
然而，尽管可能世界语义学能让我们更直观地理解模态逻辑表达式，但是依然衍生出许多问题。
互联网摘选
7、
This is also shown by the vagueness of KaKbp → Kap in possible world semantics.
可传递性公式KaKbp→Kap在可能世界语义学上的模糊性，也表明了这一点。
互联网摘选
8、
- 相关词组
- become famous all over the world在世界各地成名
- rise and fall with the world to have no independent thinking or action of one's own与世偃仰
- world aeronautical chart世界航空图
- not for (all) the world无论如何不, 肯定不会
- seismic world map世界地震图
- synthetic world合成世界
- all over the worldadv.全世界;举世;五洲四海;普天之下;
- have all the time in the world有充裕时间
- has drawn the attention of the world举世瞩目
- world economy世界经济;
- dream world幻想世界，乌托邦;
- world politics世界政治; 国际政治; 世界政治季刊;
- how in the world〈口〉到底怎样…
- Men's life is like boarding in this world人生如寄
- sweep the world before one势如破竹,所向披靡
- tell the worldv.郑重声明
- the other world来世;
- educational world教育界;
- inner world精神世界;
- seclude the country from the outside world闭关锁国
- 今日热词
- 热门搜索
- practical adj. 实践的，实际的;可实现的，实用的;注重实际的;可用的;
- 万相之王 King of ten thousand phases
- bake v.烤，烘，焙;受晒;n.烤菜;
- tray n.盘子;托盘;浅盘;满盘;
- composition n.组成;作品;作文;艺术创作技巧;作曲;构图;
- invalid adj.无效的;不能成立的;有病的;病人用的;vt.使伤残;使退役;失去健康;
- oval adj.椭圆形的;卵形的;n.椭圆形;椭圆运动场（等）;椭圆，美式足球用球;[物]卵形线;
- cool adj.冷静的，冷漠的;凉的;凉爽的;酷的，绝妙的;冷色调的;v.（使）冷却，（使）降温;变淡，减弱;
- Portuguese n.葡萄牙人;葡萄牙语;adj.葡萄牙的;葡萄牙人的;葡萄牙语的;
- venti 超大杯;法国梵迪珠宝;
- midday n.中午;正午;
- sweat n.汗水;出汗;繁重的工作;v.出汗;苦干;焦虑;渗出水分;用文火熬;
湘公网安备43011202000971号